ESTELLE相关论文
Petri网和Estelle是国际上流行的两种描述通信协议的形式技术。基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协......
Petri网和Estelle是国际上流行的两种描述通信协议的形式技术。基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协......
通信软件工程包括系统建模和设计实现两大阶段,分别采用非形式化技术与形式化技术.定义了从非形式化的面向对象的图形语言UML,到形......
阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议.介绍了协议工程、形式化方法及核心技术形式描述......
广播通道（点到多点通道）是一种普遍适用于计算机通信网络的结构概念。而作为形式化描述技术（FDT）标准之一的Estelle，其本身并不支持广播......
This paper presents a secure communication protocol model-EABM, by which network security communication can be realized ......
